Quantale-valued fuzzy Scott topology

نویسندگان

  • L. X. Lu Department of Mathematics, College of Natural Science, Chonbuk National University, Jeonju-City Jeonbuk, 561-756, Republic of Korea and School of Mathematics and Science, Hebei GEO University, Shijiazhuang 050018, China
  • S. E. Han Department of Mathematics Education, Institute of Pure and Applied Mathematics, Chonbuk National University, Jeonju-City Jeonbuk, 561-756, Republic of Korea
  • W. Yao School of Sciences, Hebei University of Science and Technology, Shijiazhuang 050018, P.R. China
چکیده مقاله:

The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varepsilon)$ is called a generalized GL-monoid if$(L,*,varepsilon)$ is a commutative unital quantale and the operation $*$ is$otimes$-semi-distributive. For generalized GL-monoid $L$ as thetruth value table, we systematically propose the stratified$L$-generalized convergence spaces based on stratified $L$-filters,which makes various existing lattice-valued convergence spaces asspecial cases. For $L$ being a commutative unital quantale, wedefine a fuzzy Scott convergence structure on $L$-fuzzy dcpos anduse it to induce a stratified $L$-topology. This is the inducing wayto the definition of quantale-valued fuzzy Scott topology, whichseems an appropriate way by some results.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

QUANTALE-VALUED SUP-ALGEBRAS

Based on the notion of $Q$-sup-lattices (a fuzzy counterpart of complete join-semilattices valuated in a commutative quantale), we present the concept of $Q$-sup-algebras -- $Q$-sup-lattices endowed with a collection of finitary operations compatible with the fuzzy joins. Similarly to the crisp case investigated in cite{zhang-laan}, we characterize their subalgebras and quotients, and following...

متن کامل

QUANTALE-VALUED GAUGE SPACES

We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...

متن کامل

Quantale-valued preorders: Globalization and cocompleteness

Each divisible and unital quantale is associated with two quantaloids. Categories enriched over these two quantaloids can be regarded respectively as crisp sets endowed with fuzzy preorders and fuzzy sets endowed with fuzzy preorders. This paper deals with the relationship between these two kinds of enriched categories. This is a special case of the change-base issue in enriched category theory...

متن کامل

Partial Metrics and Quantale-valued Sets (Preprint)

It is observed that the axioms for partial metrics with values in quantales coincide with the axioms for Q-sets (M -valued sets, sets with fuzzy equality, quantale-valued sets) for commutative quantales. Ω-sets correspond to the case of partial ultrametrics.

متن کامل

Rough approximation operators based on quantale-valued fuzzy generalized neighborhood systems

Let $L$ be an integral and commutative quantale. In this paper, by fuzzifying the notion of generalized neighborhood systems, the notion of $L$-fuzzy generalized neighborhoodsystem is introduced and then a pair of lower and upperapproximation operators based on it are defined and discussed. It is proved that these approximation operators include generalized neighborhood system...

متن کامل

The Scott Topology . Part II

The following propositions are true: (1) Let X be a set and F be a finite family of subsets of X. Then there exists a finite family G of subsets of X such that G ⊆ F and ⋃ G = ⋃ F and for every subset g of X such that g ∈ G holds g 6⊆ ⋃ (G \ {g}). (2) Let S be a 1-sorted structure and X be a subset of the carrier of S. Then −X = the carrier of S if and only if X is empty. (3) Let R be an antisy...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره 16  شماره 3

صفحات  175- 188

تاریخ انتشار 2019-06-29

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023